Towards Symbolic Analysis of Visual Modeling Languages
نویسنده
چکیده
Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture the operational semantics of modeling languages based on metamodeling techniques as demonstrated by benchmark applications focusing on the formal treatment of the Unified Modeling Language (UML). In the paper, we enable model checking-based symbolic verification for such modeling languages by providing a meta-level transformation of well-formed model instances into SAL specifications [4]. We also discuss several optimizations in the translation process that makes our approach efficient and independent of the SAL framework.
منابع مشابه
Towards Symbolic Analysis of Graph Transformation Systems
Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture the operational semantics of modeling languages based on metamodeling techniques as demonstrated, by benchmark applications focusing on the formal treatment of the Unified Modeling Language (UML). In the paper, we propose a model checking-based verification a...
متن کاملTowards Symbolic Analysis of Model Transformations
As the Unified Modeling Language is evolving into a family of languages with individually specified semantics, there is an increasing need for highly automated and provenly correct model transformations that assure the integration of local views of the system (in the form of different diagrams) into a consistent global view. Graph transformation provides an easy-to-understand visual specificati...
متن کاملA Sound Symbolic Study of Translation of Onomatopoeia in Children's Literature: The Case of '' Tintin''
As onomatopoeic words or expressions are attractive, the users of languages in the fields of religion, literature, music, education, linguistics, trade, and so forth wish to utilize them in their utterances. They are more effective and imaginative than the simple words. Onomatopoeic words or expressions attach us to the real nature and to our inner senses. This study aims at familiarity with on...
متن کاملAesthetic Symbolic and Communicative Functions of English Signs in Urban Spaces of Jordan: Typography, Multimodality, and Ideological Values
This study examines the visual aesthetic function of English signs in line with ethnographic approaches as a means of achieving various symbolic and communicative implications in the linguistic landscape (LL) of Jordan. Having coded the data in 6 urban streets of the major Jordanian cities, the social semiotic analysis centers on the visual layout of signs based on the typographical features of...
متن کاملA Viterbi-based morphological analysis for speech and natural language integration
This paper presents a statistical/symbolic hybrid morphological analysis, called V-morph, for large scale speech and natural language integration for Korean. In the V-morph approach, statistical Viterbi-based lexical decoding and symbolic morphological modeling are integrated together on top of connectionist phoneme recognition engine. Linguistic characteristics of Korean are appropriately cons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 72 شماره
صفحات -
تاریخ انتشار 2003